Go top
Ph. D. Thesis information

Desarrollo de sistemas digitales de seguridad: enfoque basado en un modelo unificado de simulación

Yolanda González Arechavala

Supervised by F. de Cuadra

Universidad Pontificia Comillas. Madrid (Spain)

April 4th, 2003

Summary:
En esta tesis se ha abordado la creación de un lenguaje de modelado orientado al desarrollo del lenguaje propuesto se ha priorizado la necesidad de generar modelos cuya simulación fuera lo más realista posible, es decir, con resultados similares a los que se obtendrán cuando el sistema esté funcionando en su entorno real.
Esta característica ha dado lugar a las diferencias más significativas entre MODUS y el resto de lenguajes de modelado con los que se ha comparado.
El estudio del estado del arte que se ha realizado en esta tesis ha permitido obtener un conocimiento amplio de las tres áreas de trabajo relacionadas con la misma; la ingeniería del software, los sistemas críticos de seguridad y los sistemas de tiempo real.
En 1995, cuando se comenzaron los trabajos de esta tesis, la obtención de un lenguaje de modelado único era tanto un objetivo para la tesis como una necesidad que demandaba la industria. Durante la elaboración de la misma, el lenguaje UML ha venido a cubrir esa necesidad y se ha convertido en un estándar, siendo actualmente muy utilizado. Como los trabajos de desarrollo de UML y de MODUS han coincidido en el tiempo, es interesante destacar que en la evolución de ambos se pueden encontrar ciertas similitudes, aunque se hayan desarrollado de manera independiente y con métodos de trabajo diferentes. Al finalizar la descripción de MODUS, se ha realizado una comparación con aquéllas partes de UML que representan aspectos similares a los tratados en MODUS (ya que el UML es más amplio que MODUS) y con otros lenguajes de modelado, como Statecharts y ROOM. La comparación de MODUS con UML pone de relieve las diferencias significativas entre ambos lenguajes y las deficiencias detectadas en la máquina de estados de UML para una simulación lo más cercana a la realidad.
Además, es posible representar gráficamente un modelo MODUS y se ha llegado a realizar la descripción del simulador de este lenguaje.




Citation:
Y. González-Arechavala (2003), Desarrollo de sistemas digitales de seguridad: enfoque basado en un modelo unificado de simulación. Universidad Pontificia Comillas. Madrid (Spain).